- 程序检验
- 程序验证
- verification: n. 1.证实，证明，确定；核验，验证，核对；检验，校验 ...
- automatic program verification: 自动程序验证
- automatic program verification system: 自动程序验证系统
- computer program verification: 计算机程序验证
- constructive program verification: 结构程序验证
下载手机词典可随时随地查词查翻译
program verification中文什么意思
- 程序检验
- 程序验证
下载手机词典可随时随地查词查翻译
例句与用法
- Based on this , we proposed a nc program verification algorithm named z & n . this algorithm can work well for high precise parts without needing finer subdivision
在此基础上，提出了一种局部再细分精确求解的编程精度验证算法( z & n方法) ，该方法不需增加细分密度，验证精度就可以有较大的提高。 - We have been doing research on nc machining process simulation and program verification thoroughly for a long time . under the support of the fund of 95 plan of national scientific and technologic committee and the fund of scientific and technologic committee of jiansu province , we developed nc machining simulation system named realcut 1 . 0
本文对数控加工过程的几何仿真和nc程序的编程精度验证方法进行了深入研究，在国家“九五”重大科技攻关专题、江苏省“九五”科技攻关项目的支持下，研究开发了超人2000cad cam集成系统数控加工仿真子系统realcut1